منابع مشابه
Action emulation
A key notion of equivalence for modal and epistemic logic is bisimulation. However, to capture the update effects of action models in epistemic update logic, this notion turns out to be too strong. We propose necessary and sufficient conditions for having the same update effect, in the cases of action models with propositional preconditions and action models with modal precondions. Next, the no...
متن کاملAction Emulation between Canonical Models
In this paper we investigate Kripke models, used to model knowledge or belief in a static situation, and action models, used to model communicative actions that change this knowledge or belief. The appropriate notion for structural equivalence between modal structures such as Kripke models is bisimulation: Kripke models that are bisimilar are modally equivalent. We would like to find a structur...
متن کاملRapid-Prototyping Emulation System Co-emulation Modelling Interface for SystemC Real-Time Emulation
This paper describes the Communications Interface Protocol that was implemented successfully as a co-emulation modelling interface between SystemC model and a reconfigurable hardware platform. The information presented represents part of research into the suitability of using SystemC, in conjunction with a suitable reconfigurable hardware system platform, to provide a real-time emulation enviro...
متن کاملChannel Emulation
5G mmWave systems will be characterized by the use of massive antenna arrays, as well as orders of magnitude greater bandwidth. The existing emulation paradigm fails in such systems due to the prohibitive cost and complexity. In this project, a new Emulation paradigm is defined, where the emulation of the beam-formers is combined with that of the wireless channel itself. In this patented design...
متن کاملCloudy Emulation - Efficient and Scaleable Emulation-based Services
Emulation as a strategy for digital preservation is about to become an accepted technology for memory institutions as a method for coping a large variety of complex digital objects. Hence, the demand for ready-made and especially easy-to-use emulation services will grow. In order to provide user-friendly emulation services a scalable, distributed system model is required to be run on heterogene...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Synthese
سال: 2012
ISSN: 0039-7857,1573-0964
DOI: 10.1007/s11229-012-0083-1